progression derivative

un. 右导数